Skip to content

Refactor MixedStrategyProfile cacheing#715

Merged
tturocy merged 3 commits intomasterfrom
dev_mixed_cache
Dec 17, 2025
Merged

Refactor MixedStrategyProfile cacheing#715
tturocy merged 3 commits intomasterfrom
dev_mixed_cache

Conversation

@tturocy
Copy link
Copy Markdown
Member

@tturocy tturocy commented Dec 17, 2025

This more carefully refactors cacheing of MixedStrategyProfiles:

  • Introduces a discrete Cache object internally
  • Ensures all mutations of the profile (and its internal representation) invalidate any cached quantities

@tturocy tturocy marked this pull request as ready for review December 17, 2025 14:28
@tturocy tturocy merged commit 580fb0d into master Dec 17, 2025
27 of 28 checks passed
@tturocy tturocy deleted the dev_mixed_cache branch December 17, 2025 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant